Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
281	Dr. Nathaniel Miller, UNC Mathematical Sciences Professor, Publishes Book on Euclidean Geometry Dr. Nathaniel Miller, Associate Professor of Mathematical Sciences in the College of Natural and Health Sciences at the Univ Add to Reading List Source URL: www.unco.edu Language: English - Date: 2012-10-08 13:14:12 Logic Euclid Number theory Mathematical proof Formal system Parallel postulate Non-Euclidean geometry Mathematics Geometry Mathematical logic
282	Writing and checking complete proofs in TEX Bob Neveln Widener University Bob Alps Towers Perrin Add to Reading List Source URL: www.tug.org Language: English - Date: 2007-03-14 10:17:19 Formal systems Logical truth Proof theory Theorem Formal proof TeX Mathematical proof Syntax Mathematical logic Logic Logical syntax Formal languages
283	Writing and checking complete proofs in TEX Bob Neveln Widener University Bob Alps Towers Perrin Add to Reading List Source URL: tug.org Language: English - Date: 2007-03-14 10:17:19 Formal systems Logical truth Proof theory Theorem Formal proof TeX Mathematical proof Syntax Mathematical logic Logic Logical syntax Formal languages
284	FAQs about Formal Hearing Procedures Add to Reading List Source URL: www.kscourts.org Language: English - Date: 2014-06-25 09:32:42 Evidence law Legal burden of proof Hearing Law Civil law Criminal law
285	Transition Invariants Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f¨ur Informatik Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Equivalence relation Model checking Temporal logic Invariant Termination analysis Mathematical proof Formal verification Mathematics Theoretical computer science Applied mathematics
286	Proof Reconstruction for Z3 in Isabelle/HOL Sascha B¨ohme Technische Universit¨at M¨ unchen [removed] Abstract Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-07-06 02:18:43 Proof theory Logic in computer science Automated theorem proving Formal methods Natural deduction Mathematical proof First-order logic Satisfiability Modulo Theories Propositional calculus Logic Mathematical logic Mathematics
287	Index associative law see law – associative law Augustine, Aurelius, 23–4, 114, 496 axiom of infinity, 393 Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-29 16:18:54 Logical consequence Philosophical logic Logical truth Formal systems Mathematical logic Commutative property Entailment Direct proof Theorem Logic Mathematics Logical syntax
288	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:39 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
289	TAS — A Generic Window Inference System Christoph L¨ uth1 and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-02-15 04:25:17 Logical syntax Mathematical logic Deduction Theorems Mathematical proof Natural transformation Natural deduction Formal proof Standard ML Logic Mathematics Proof theory
290	Under consideration for publication in J. Functional Programming 1 Functional Design and Implementation of Graphical User Interfaces for Theorem Provers Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2010-02-16 04:30:00 Computing Theoretical computer science Formal methods Software architecture Logic in computer science Proof assistant Isabelle Graphical user interface Window User interface techniques Software Automated theorem proving

UPDATE